home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / hity wydania / Ubuntu 9.10 PL / karmelkowy-koliberek-desktop-9.10-i386-PL.iso / casper / filesystem.squashfs / usr / share / gedit-2 / ui / gedit-preferences-dialog.ui < prev    next >
Encoding:
Extensible Markup Language  |  2009-10-20  |  89.4 KB  |  1,545 lines
  1. <?xml version="1.0"?>
  2. <!--*- mode: xml -*-->
  3. <interface>
  4.   <object class="GtkAdjustment" id="adjustment1">
  5.     <property name="upper">160</property>
  6.     <property name="lower">1</property>
  7.     <property name="page_increment">10</property>
  8.     <property name="step_increment">1</property>
  9.     <property name="page_size">0</property>
  10.     <property name="value">80</property>
  11.   </object>
  12.   <object class="GtkAdjustment" id="adjustment2">
  13.     <property name="upper">24</property>
  14.     <property name="lower">1</property>
  15.     <property name="page_increment">4</property>
  16.     <property name="step_increment">1</property>
  17.     <property name="page_size">0</property>
  18.     <property name="value">8</property>
  19.   </object>
  20.   <object class="GtkAdjustment" id="adjustment3">
  21.     <property name="upper">100</property>
  22.     <property name="lower">1</property>
  23.     <property name="page_increment">10</property>
  24.     <property name="step_increment">1</property>
  25.     <property name="page_size">0</property>
  26.     <property name="value">8</property>
  27.   </object>
  28.   <object class="GtkImage" id="install_scheme_image">
  29.      <property name="stock">gtk-add</property>
  30.      <property name="icon_size">4</property>
  31.   </object>
  32.   <object class="GtkDialog" id="preferences_dialog">
  33.     <property name="title" translatable="yes">Preferences</property>
  34.     <property name="type">GTK_WINDOW_TOPLEVEL</property>
  35.     <property name="window_position">GTK_WIN_POS_NONE</property>
  36.     <property name="modal">False</property>
  37.     <property name="resizable">False</property>
  38.     <property name="destroy_with_parent">True</property>
  39.     <property name="decorated">True</property>
  40.     <property name="skip_taskbar_hint">False</property>
  41.     <property name="skip_pager_hint">False</property>
  42.     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  43.     <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  44.     <property name="focus_on_map">True</property>
  45.     <property name="urgency_hint">False</property>
  46.     <property name="has_separator">False</property>
  47.     <child internal-child="vbox">
  48.       <object class="GtkVBox" id="dialog-vbox">
  49.         <property name="visible">True</property>
  50.         <property name="homogeneous">False</property>
  51.         <property name="spacing">0</property>
  52.         <child internal-child="action_area">
  53.           <object class="GtkHButtonBox" id="dialog-action_area">
  54.             <property name="visible">True</property>
  55.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  56.             <child>
  57.               <object class="GtkButton" id="helpbutton1">
  58.                 <property name="visible">True</property>
  59.                 <property name="can_default">True</property>
  60.                 <property name="can_focus">True</property>
  61.                 <property name="label">gtk-help</property>
  62.                 <property name="use_stock">True</property>
  63.                 <property name="relief">GTK_RELIEF_NORMAL</property>
  64.                 <property name="focus_on_click">True</property>
  65.               </object>
  66.             </child>
  67.             <child>
  68.               <object class="GtkButton" id="closebutton1">
  69.                 <property name="visible">True</property>
  70.                 <property name="can_default">True</property>
  71.                 <property name="can_focus">True</property>
  72.                 <property name="label">gtk-close</property>
  73.                 <property name="use_stock">True</property>
  74.                 <property name="relief">GTK_RELIEF_NORMAL</property>
  75.                 <property name="focus_on_click">True</property>
  76.               </object>
  77.             </child>
  78.           </object>
  79.           <packing>
  80.             <property name="padding">0</property>
  81.             <property name="expand">False</property>
  82.             <property name="fill">True</property>
  83.             <property name="pack_type">GTK_PACK_END</property>
  84.           </packing>
  85.         </child>
  86.         <child>
  87.           <object class="GtkNotebook" id="notebook">
  88.             <property name="border_width">6</property>
  89.             <property name="visible">True</property>
  90.             <property name="can_focus">True</property>
  91.             <property name="show_tabs">True</property>
  92.             <property name="show_border">True</property>
  93.             <property name="tab_pos">GTK_POS_TOP</property>
  94.             <property name="scrollable">False</property>
  95.             <property name="enable_popup">False</property>
  96.             <child>
  97.               <object class="GtkVBox" id="vbox228">
  98.                 <property name="border_width">12</property>
  99.                 <property name="visible">True</property>
  100.                 <property name="homogeneous">False</property>
  101.                 <property name="spacing">18</property>
  102.                 <child>
  103.                   <object class="GtkVBox" id="vbox226">
  104.                     <property name="visible">True</property>
  105.                     <property name="homogeneous">False</property>
  106.                     <property name="spacing">6</property>
  107.                     <child>
  108.                       <object class="GtkLabel" id="label848">
  109.                         <property name="visible">True</property>
  110.                         <property name="label" translatable="yes"><b>Text Wrapping</b></property>
  111.                         <property name="use_underline">False</property>
  112.                         <property name="use_markup">True</property>
  113.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  114.                         <property name="wrap">False</property>
  115.                         <property name="selectable">False</property>
  116.                         <property name="xalign">0</property>
  117.                         <property name="yalign">0.5</property>
  118.                         <property name="xpad">0</property>
  119.                         <property name="ypad">0</property>
  120.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  121.                         <property name="width_chars">-1</property>
  122.                         <property name="single_line_mode">False</property>
  123.                         <property name="angle">0</property>
  124.                       </object>
  125.                       <packing>
  126.                         <property name="padding">0</property>
  127.                         <property name="expand">False</property>
  128.                         <property name="fill">False</property>
  129.                       </packing>
  130.                     </child>
  131.                     <child>
  132.                       <object class="GtkHBox" id="hbox142">
  133.                         <property name="visible">True</property>
  134.                         <property name="homogeneous">False</property>
  135.                         <property name="spacing">0</property>
  136.                         <child>
  137.                           <object class="GtkLabel" id="label849">
  138.                             <property name="visible">True</property>
  139.                             <property name="label" translatable="yes">    </property>
  140.                             <property name="use_underline">False</property>
  141.                             <property name="use_markup">False</property>
  142.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  143.                             <property name="wrap">False</property>
  144.                             <property name="selectable">False</property>
  145.                             <property name="xalign">0.5</property>
  146.                             <property name="yalign">0.5</property>
  147.                             <property name="xpad">0</property>
  148.                             <property name="ypad">0</property>
  149.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  150.                             <property name="width_chars">-1</property>
  151.                             <property name="single_line_mode">False</property>
  152.                             <property name="angle">0</property>
  153.                           </object>
  154.                           <packing>
  155.                             <property name="padding">0</property>
  156.                             <property name="expand">False</property>
  157.                             <property name="fill">False</property>
  158.                           </packing>
  159.                         </child>
  160.                         <child>
  161.                           <object class="GtkVBox" id="wrap_mode_frame">
  162.                             <property name="visible">True</property>
  163.                             <property name="homogeneous">False</property>
  164.                             <property name="spacing">6</property>
  165.                             <child>
  166.                               <object class="GtkCheckButton" id="wrap_text_checkbutton">
  167.                                 <property name="visible">True</property>
  168.                                 <property name="can_focus">True</property>
  169.                                 <property name="label" translatable="yes">Enable text _wrapping</property>
  170.                                 <property name="use_underline">True</property>
  171.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  172.                                 <property name="focus_on_click">True</property>
  173.                                 <property name="active">False</property>
  174.                                 <property name="inconsistent">False</property>
  175.                                 <property name="draw_indicator">True</property>
  176.                               </object>
  177.                               <packing>
  178.                                 <property name="padding">0</property>
  179.                                 <property name="expand">False</property>
  180.                                 <property name="fill">False</property>
  181.                               </packing>
  182.                             </child>
  183.                             <child>
  184.                               <object class="GtkCheckButton" id="split_checkbutton">
  185.                                 <property name="visible">True</property>
  186.                                 <property name="can_focus">True</property>
  187.                                 <property name="label" translatable="yes">Do not _split words over two lines</property>
  188.                                 <property name="use_underline">True</property>
  189.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  190.                                 <property name="focus_on_click">True</property>
  191.                                 <property name="active">False</property>
  192.                                 <property name="inconsistent">False</property>
  193.                                 <property name="draw_indicator">True</property>
  194.                               </object>
  195.                               <packing>
  196.                                 <property name="padding">0</property>
  197.                                 <property name="expand">False</property>
  198.                                 <property name="fill">False</property>
  199.                               </packing>
  200.                             </child>
  201.                           </object>
  202.                           <packing>
  203.                             <property name="padding">0</property>
  204.                             <property name="expand">True</property>
  205.                             <property name="fill">True</property>
  206.                           </packing>
  207.                         </child>
  208.                       </object>
  209.                       <packing>
  210.                         <property name="padding">0</property>
  211.                         <property name="expand">True</property>
  212.                         <property name="fill">True</property>
  213.                       </packing>
  214.                     </child>
  215.                   </object>
  216.                   <packing>
  217.                     <property name="padding">0</property>
  218.                     <property name="expand">True</property>
  219.                     <property name="fill">True</property>
  220.                   </packing>
  221.                 </child>
  222.                 <child>
  223.                   <object class="GtkVBox" id="vbox217">
  224.                     <property name="visible">True</property>
  225.                     <property name="homogeneous">False</property>
  226.                     <property name="spacing">6</property>
  227.                     <child>
  228.                       <object class="GtkLabel" id="label854">
  229.                         <property name="visible">True</property>
  230.                         <property name="label" translatable="yes"><b>Line Numbers</b></property>
  231.                         <property name="use_underline">False</property>
  232.                         <property name="use_markup">True</property>
  233.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  234.                         <property name="wrap">False</property>
  235.                         <property name="selectable">False</property>
  236.                         <property name="xalign">0</property>
  237.                         <property name="yalign">0.5</property>
  238.                         <property name="xpad">0</property>
  239.                         <property name="ypad">0</property>
  240.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  241.                         <property name="width_chars">-1</property>
  242.                         <property name="single_line_mode">False</property>
  243.                         <property name="angle">0</property>
  244.                       </object>
  245.                       <packing>
  246.                         <property name="padding">0</property>
  247.                         <property name="expand">False</property>
  248.                         <property name="fill">False</property>
  249.                       </packing>
  250.                     </child>
  251.                     <child>
  252.                       <object class="GtkHBox" id="hbox137">
  253.                         <property name="visible">True</property>
  254.                         <property name="homogeneous">False</property>
  255.                         <property name="spacing">0</property>
  256.                         <child>
  257.                           <object class="GtkLabel" id="label843">
  258.                             <property name="visible">True</property>
  259.                             <property name="label" translatable="yes">    </property>
  260.                             <property name="use_underline">False</property>
  261.                             <property name="use_markup">False</property>
  262.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  263.                             <property name="wrap">False</property>
  264.                             <property name="selectable">False</property>
  265.                             <property name="xalign">0.5</property>
  266.                             <property name="yalign">0.5</property>
  267.                             <property name="xpad">0</property>
  268.                             <property name="ypad">0</property>
  269.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  270.                             <property name="width_chars">-1</property>
  271.                             <property name="single_line_mode">False</property>
  272.                             <property name="angle">0</property>
  273.                           </object>
  274.                           <packing>
  275.                             <property name="padding">0</property>
  276.                             <property name="expand">False</property>
  277.                             <property name="fill">False</property>
  278.                           </packing>
  279.                         </child>
  280.                         <child>
  281.                           <object class="GtkVBox" id="vbox222">
  282.                             <property name="visible">True</property>
  283.                             <property name="homogeneous">False</property>
  284.                             <property name="spacing">6</property>
  285.                             <child>
  286.                               <object class="GtkCheckButton" id="display_line_numbers_checkbutton">
  287.                                 <property name="visible">True</property>
  288.                                 <property name="can_focus">True</property>
  289.                                 <property name="label" translatable="yes">_Display line numbers</property>
  290.                                 <property name="use_underline">True</property>
  291.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  292.                                 <property name="focus_on_click">True</property>
  293.                                 <property name="active">False</property>
  294.                                 <property name="inconsistent">False</property>
  295.                                 <property name="draw_indicator">True</property>
  296.                               </object>
  297.                               <packing>
  298.                                 <property name="padding">0</property>
  299.                                 <property name="expand">False</property>
  300.                                 <property name="fill">False</property>
  301.                               </packing>
  302.                             </child>
  303.                           </object>
  304.                           <packing>
  305.                             <property name="padding">0</property>
  306.                             <property name="expand">True</property>
  307.                             <property name="fill">True</property>
  308.                           </packing>
  309.                         </child>
  310.                       </object>
  311.                       <packing>
  312.                         <property name="padding">0</property>
  313.                         <property name="expand">True</property>
  314.                         <property name="fill">True</property>
  315.                       </packing>
  316.                     </child>
  317.                   </object>
  318.                   <packing>
  319.                     <property name="padding">0</property>
  320.                     <property name="expand">False</property>
  321.                     <property name="fill">False</property>
  322.                   </packing>
  323.                 </child>
  324.                 <child>
  325.                   <object class="GtkVBox" id="vbox244">
  326.                     <property name="visible">True</property>
  327.                     <property name="homogeneous">False</property>
  328.                     <property name="spacing">6</property>
  329.                     <child>
  330.                       <object class="GtkLabel" id="label876">
  331.                         <property name="visible">True</property>
  332.                         <property name="label" translatable="yes"><b>Current Line</b></property>
  333.                         <property name="use_underline">False</property>
  334.                         <property name="use_markup">True</property>
  335.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  336.                         <property name="wrap">False</property>
  337.                         <property name="selectable">False</property>
  338.                         <property name="xalign">0</property>
  339.                         <property name="yalign">0.5</property>
  340.                         <property name="xpad">0</property>
  341.                         <property name="ypad">0</property>
  342.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  343.                         <property name="width_chars">-1</property>
  344.                         <property name="single_line_mode">False</property>
  345.                         <property name="angle">0</property>
  346.                       </object>
  347.                       <packing>
  348.                         <property name="padding">0</property>
  349.                         <property name="expand">False</property>
  350.                         <property name="fill">False</property>
  351.                       </packing>
  352.                     </child>
  353.                     <child>
  354.                       <object class="GtkHBox" id="hbox161">
  355.                         <property name="visible">True</property>
  356.                         <property name="homogeneous">False</property>
  357.                         <property name="spacing">0</property>
  358.                         <child>
  359.                           <object class="GtkLabel" id="label877">
  360.                             <property name="visible">True</property>
  361.                             <property name="label" translatable="yes">    </property>
  362.                             <property name="use_underline">False</property>
  363.                             <property name="use_markup">False</property>
  364.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  365.                             <property name="wrap">False</property>
  366.                             <property name="selectable">False</property>
  367.                             <property name="xalign">0.5</property>
  368.                             <property name="yalign">0.5</property>
  369.                             <property name="xpad">0</property>
  370.                             <property name="ypad">0</property>
  371.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  372.                             <property name="width_chars">-1</property>
  373.                             <property name="single_line_mode">False</property>
  374.                             <property name="angle">0</property>
  375.                           </object>
  376.                           <packing>
  377.                             <property name="padding">0</property>
  378.                             <property name="expand">False</property>
  379.                             <property name="fill">False</property>
  380.                           </packing>
  381.                         </child>
  382.                         <child>
  383.                           <object class="GtkVBox" id="vbox245">
  384.                             <property name="visible">True</property>
  385.                             <property name="homogeneous">False</property>
  386.                             <property name="spacing">6</property>
  387.                             <child>
  388.                               <object class="GtkCheckButton" id="highlight_current_line_checkbutton">
  389.                                 <property name="visible">True</property>
  390.                                 <property name="can_focus">True</property>
  391.                                 <property name="label" translatable="yes">Highlight current _line</property>
  392.                                 <property name="use_underline">True</property>
  393.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  394.                                 <property name="focus_on_click">True</property>
  395.                                 <property name="active">False</property>
  396.                                 <property name="inconsistent">False</property>
  397.                                 <property name="draw_indicator">True</property>
  398.                               </object>
  399.                               <packing>
  400.                                 <property name="padding">0</property>
  401.                                 <property name="expand">False</property>
  402.                                 <property name="fill">False</property>
  403.                               </packing>
  404.                             </child>
  405.                           </object>
  406.                           <packing>
  407.                             <property name="padding">0</property>
  408.                             <property name="expand">True</property>
  409.                             <property name="fill">True</property>
  410.                           </packing>
  411.                         </child>
  412.                       </object>
  413.                       <packing>
  414.                         <property name="padding">0</property>
  415.                         <property name="expand">True</property>
  416.                         <property name="fill">True</property>
  417.                       </packing>
  418.                     </child>
  419.                   </object>
  420.                   <packing>
  421.                     <property name="padding">0</property>
  422.                     <property name="expand">False</property>
  423.                     <property name="fill">True</property>
  424.                   </packing>
  425.                 </child>
  426.                 <child>
  427.                   <object class="GtkVBox" id="vbox230">
  428.                     <property name="visible">True</property>
  429.                     <property name="homogeneous">False</property>
  430.                     <property name="spacing">6</property>
  431.                     <child>
  432.                       <object class="GtkLabel" id="label855">
  433.                         <property name="visible">True</property>
  434.                         <property name="label" translatable="yes"><b>Right Margin</b></property>
  435.                         <property name="use_underline">False</property>
  436.                         <property name="use_markup">True</property>
  437.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  438.                         <property name="wrap">False</property>
  439.                         <property name="selectable">False</property>
  440.                         <property name="xalign">0</property>
  441.                         <property name="yalign">0.5</property>
  442.                         <property name="xpad">0</property>
  443.                         <property name="ypad">0</property>
  444.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  445.                         <property name="width_chars">-1</property>
  446.                         <property name="single_line_mode">False</property>
  447.                         <property name="angle">0</property>
  448.                       </object>
  449.                       <packing>
  450.                         <property name="padding">0</property>
  451.                         <property name="expand">False</property>
  452.                         <property name="fill">False</property>
  453.                       </packing>
  454.                     </child>
  455.                     <child>
  456.                       <object class="GtkHBox" id="hbox145">
  457.                         <property name="visible">True</property>
  458.                         <property name="homogeneous">False</property>
  459.                         <property name="spacing">0</property>
  460.                         <child>
  461.                           <object class="GtkLabel" id="label856">
  462.                             <property name="visible">True</property>
  463.                             <property name="label" translatable="yes">    </property>
  464.                             <property name="use_underline">False</property>
  465.                             <property name="use_markup">False</property>
  466.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  467.                             <property name="wrap">False</property>
  468.                             <property name="selectable">False</property>
  469.                             <property name="xalign">0.5</property>
  470.                             <property name="yalign">0.5</property>
  471.                             <property name="xpad">0</property>
  472.                             <property name="ypad">0</property>
  473.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  474.                             <property name="width_chars">-1</property>
  475.                             <property name="single_line_mode">False</property>
  476.                             <property name="angle">0</property>
  477.                           </object>
  478.                           <packing>
  479.                             <property name="padding">0</property>
  480.                             <property name="expand">False</property>
  481.                             <property name="fill">False</property>
  482.                           </packing>
  483.                         </child>
  484.                         <child>
  485.                           <object class="GtkVBox" id="vbox231">
  486.                             <property name="visible">True</property>
  487.                             <property name="homogeneous">False</property>
  488.                             <property name="spacing">6</property>
  489.                             <child>
  490.                               <object class="GtkCheckButton" id="right_margin_checkbutton">
  491.                                 <property name="visible">True</property>
  492.                                 <property name="can_focus">True</property>
  493.                                 <property name="label" translatable="yes">Display right _margin</property>
  494.                                 <property name="use_underline">True</property>
  495.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  496.                                 <property name="focus_on_click">True</property>
  497.                                 <property name="active">False</property>
  498.                                 <property name="inconsistent">False</property>
  499.                                 <property name="draw_indicator">True</property>
  500.                               </object>
  501.                               <packing>
  502.                                 <property name="padding">0</property>
  503.                                 <property name="expand">False</property>
  504.                                 <property name="fill">False</property>
  505.                               </packing>
  506.                             </child>
  507.                             <child>
  508.                               <object class="GtkHBox" id="right_margin_position_hbox">
  509.                                 <property name="visible">True</property>
  510.                                 <property name="homogeneous">False</property>
  511.                                 <property name="spacing">6</property>
  512.                                 <child>
  513.                                   <object class="GtkLabel" id="label857">
  514.                                     <property name="visible">True</property>
  515.                                     <property name="label" translatable="yes">_Right margin at column:</property>
  516.                                     <property name="use_underline">True</property>
  517.                                     <property name="use_markup">False</property>
  518.                                     <property name="justify">GTK_JUSTIFY_LEFT</property>
  519.                                     <property name="wrap">False</property>
  520.                                     <property name="selectable">False</property>
  521.                                     <property name="xalign">0</property>
  522.                                     <property name="yalign">0.5</property>
  523.                                     <property name="xpad">0</property>
  524.                                     <property name="ypad">0</property>
  525.                                     <property name="mnemonic_widget">right_margin_position_spinbutton</property>
  526.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  527.                                     <property name="width_chars">-1</property>
  528.                                     <property name="single_line_mode">False</property>
  529.                                     <property name="angle">0</property>
  530.                                   </object>
  531.                                   <packing>
  532.                                     <property name="padding">0</property>
  533.                                     <property name="expand">False</property>
  534.                                     <property name="fill">False</property>
  535.                                   </packing>
  536.                                 </child>
  537.                                 <child>
  538.                                   <object class="GtkSpinButton" id="right_margin_position_spinbutton">
  539.                                     <property name="visible">True</property>
  540.                                     <property name="can_focus">True</property>
  541.                                     <property name="climb_rate">1</property>
  542.                                     <property name="digits">0</property>
  543.                                     <property name="numeric">True</property>
  544.                                     <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  545.                                     <property name="snap_to_ticks">True</property>
  546.                                     <property name="wrap">False</property>
  547.                                     <property name="adjustment">adjustment1</property>
  548.                                   </object>
  549.                                   <packing>
  550.                                     <property name="padding">0</property>
  551.                                     <property name="expand">False</property>
  552.                                     <property name="fill">False</property>
  553.                                   </packing>
  554.                                 </child>
  555.                               </object>
  556.                               <packing>
  557.                                 <property name="padding">0</property>
  558.                                 <property name="expand">False</property>
  559.                                 <property name="fill">False</property>
  560.                               </packing>
  561.                             </child>
  562.                           </object>
  563.                           <packing>
  564.                             <property name="padding">0</property>
  565.                             <property name="expand">True</property>
  566.                             <property name="fill">True</property>
  567.                           </packing>
  568.                         </child>
  569.                       </object>
  570.                       <packing>
  571.                         <property name="padding">0</property>
  572.                         <property name="expand">True</property>
  573.                         <property name="fill">True</property>
  574.                       </packing>
  575.                     </child>
  576.                   </object>
  577.                   <packing>
  578.                     <property name="padding">0</property>
  579.                     <property name="expand">False</property>
  580.                     <property name="fill">False</property>
  581.                   </packing>
  582.                 </child>
  583.                 <child>
  584.                   <object class="GtkVBox" id="vbox249">
  585.                     <property name="visible">True</property>
  586.                     <property name="homogeneous">False</property>
  587.                     <property name="spacing">6</property>
  588.                     <child>
  589.                       <object class="GtkLabel" id="label881">
  590.                         <property name="visible">True</property>
  591.                         <property name="label" translatable="yes"><b>Bracket Matching</b></property>
  592.                         <property name="use_underline">False</property>
  593.                         <property name="use_markup">True</property>
  594.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  595.                         <property name="wrap">False</property>
  596.                         <property name="selectable">False</property>
  597.                         <property name="xalign">0</property>
  598.                         <property name="yalign">0.5</property>
  599.                         <property name="xpad">0</property>
  600.                         <property name="ypad">0</property>
  601.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  602.                         <property name="width_chars">-1</property>
  603.                         <property name="single_line_mode">False</property>
  604.                         <property name="angle">0</property>
  605.                       </object>
  606.                       <packing>
  607.                         <property name="padding">0</property>
  608.                         <property name="expand">False</property>
  609.                         <property name="fill">False</property>
  610.                       </packing>
  611.                     </child>
  612.                     <child>
  613.                       <object class="GtkHBox" id="hbox163">
  614.                         <property name="visible">True</property>
  615.                         <property name="homogeneous">False</property>
  616.                         <property name="spacing">0</property>
  617.                         <child>
  618.                           <object class="GtkLabel" id="label882">
  619.                             <property name="visible">True</property>
  620.                             <property name="label" translatable="yes">    </property>
  621.                             <property name="use_underline">False</property>
  622.                             <property name="use_markup">False</property>
  623.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  624.                             <property name="wrap">False</property>
  625.                             <property name="selectable">False</property>
  626.                             <property name="xalign">0.5</property>
  627.                             <property name="yalign">0.5</property>
  628.                             <property name="xpad">0</property>
  629.                             <property name="ypad">0</property>
  630.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  631.                             <property name="width_chars">-1</property>
  632.                             <property name="single_line_mode">False</property>
  633.                             <property name="angle">0</property>
  634.                           </object>
  635.                           <packing>
  636.                             <property name="padding">0</property>
  637.                             <property name="expand">False</property>
  638.                             <property name="fill">False</property>
  639.                           </packing>
  640.                         </child>
  641.                         <child>
  642.                           <object class="GtkVBox" id="vbox250">
  643.                             <property name="visible">True</property>
  644.                             <property name="homogeneous">False</property>
  645.                             <property name="spacing">6</property>
  646.                             <child>
  647.                               <object class="GtkCheckButton" id="bracket_matching_checkbutton">
  648.                                 <property name="visible">True</property>
  649.                                 <property name="can_focus">True</property>
  650.                                 <property name="label" translatable="yes">Highlight matching _bracket</property>
  651.                                 <property name="use_underline">True</property>
  652.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  653.                                 <property name="focus_on_click">True</property>
  654.                                 <property name="active">False</property>
  655.                                 <property name="inconsistent">False</property>
  656.                                 <property name="draw_indicator">True</property>
  657.                               </object>
  658.                               <packing>
  659.                                 <property name="padding">0</property>
  660.                                 <property name="expand">False</property>
  661.                                 <property name="fill">False</property>
  662.                               </packing>
  663.                             </child>
  664.                           </object>
  665.                           <packing>
  666.                             <property name="padding">0</property>
  667.                             <property name="expand">True</property>
  668.                             <property name="fill">True</property>
  669.                           </packing>
  670.                         </child>
  671.                       </object>
  672.                       <packing>
  673.                         <property name="padding">0</property>
  674.                         <property name="expand">True</property>
  675.                         <property name="fill">True</property>
  676.                       </packing>
  677.                     </child>
  678.                   </object>
  679.                   <packing>
  680.                     <property name="padding">0</property>
  681.                     <property name="expand">True</property>
  682.                     <property name="fill">True</property>
  683.                   </packing>
  684.                 </child>
  685.               </object>
  686.               <packing>
  687.                 <property name="tab_expand">False</property>
  688.                 <property name="tab_fill">True</property>
  689.               </packing>
  690.             </child>
  691.             <child type="tab">
  692.               <object class="GtkLabel" id="label853">
  693.                 <property name="visible">True</property>
  694.                 <property name="label" translatable="yes">View</property>
  695.                 <property name="use_underline">False</property>
  696.                 <property name="use_markup">False</property>
  697.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  698.                 <property name="wrap">False</property>
  699.                 <property name="selectable">False</property>
  700.                 <property name="xalign">0.5</property>
  701.                 <property name="yalign">0.5</property>
  702.                 <property name="xpad">0</property>
  703.                 <property name="ypad">0</property>
  704.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  705.                 <property name="width_chars">-1</property>
  706.                 <property name="single_line_mode">False</property>
  707.                 <property name="angle">0</property>
  708.               </object>
  709.             </child>
  710.             <child>
  711.               <object class="GtkVBox" id="vbox224">
  712.                 <property name="border_width">12</property>
  713.                 <property name="visible">True</property>
  714.                 <property name="homogeneous">False</property>
  715.                 <property name="spacing">18</property>
  716.                 <child>
  717.                   <object class="GtkVBox" id="vbox225">
  718.                     <property name="visible">True</property>
  719.                     <property name="homogeneous">False</property>
  720.                     <property name="spacing">6</property>
  721.                     <child>
  722.                       <object class="GtkLabel" id="label846">
  723.                         <property name="visible">True</property>
  724.                         <property name="label" translatable="yes"><b>Tab Stops</b></property>
  725.                         <property name="use_underline">False</property>
  726.                         <property name="use_markup">True</property>
  727.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  728.                         <property name="wrap">False</property>
  729.                         <property name="selectable">False</property>
  730.                         <property name="xalign">0</property>
  731.                         <property name="yalign">0.5</property>
  732.                         <property name="xpad">0</property>
  733.                         <property name="ypad">0</property>
  734.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  735.                         <property name="width_chars">-1</property>
  736.                         <property name="single_line_mode">False</property>
  737.                         <property name="angle">0</property>
  738.                       </object>
  739.                       <packing>
  740.                         <property name="padding">0</property>
  741.                         <property name="expand">False</property>
  742.                         <property name="fill">False</property>
  743.                       </packing>
  744.                     </child>
  745.                     <child>
  746.                       <object class="GtkHBox" id="hbox141">
  747.                         <property name="visible">True</property>
  748.                         <property name="homogeneous">False</property>
  749.                         <property name="spacing">0</property>
  750.                         <child>
  751.                           <object class="GtkLabel" id="label847">
  752.                             <property name="visible">True</property>
  753.                             <property name="label" translatable="yes">    </property>
  754.                             <property name="use_underline">False</property>
  755.                             <property name="use_markup">False</property>
  756.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  757.                             <property name="wrap">False</property>
  758.                             <property name="selectable">False</property>
  759.                             <property name="xalign">0.5</property>
  760.                             <property name="yalign">0.5</property>
  761.                             <property name="xpad">0</property>
  762.                             <property name="ypad">0</property>
  763.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  764.                             <property name="width_chars">-1</property>
  765.                             <property name="single_line_mode">False</property>
  766.                             <property name="angle">0</property>
  767.                           </object>
  768.                           <packing>
  769.                             <property name="padding">0</property>
  770.                             <property name="expand">False</property>
  771.                             <property name="fill">False</property>
  772.                           </packing>
  773.                         </child>
  774.                         <child>
  775.                           <object class="GtkVBox" id="vbox205">
  776.                             <property name="visible">True</property>
  777.                             <property name="homogeneous">False</property>
  778.                             <property name="spacing">6</property>
  779.                             <child>
  780.                               <object class="GtkHBox" id="tabs_width_hbox">
  781.                                 <property name="visible">True</property>
  782.                                 <property name="homogeneous">False</property>
  783.                                 <property name="spacing">6</property>
  784.                                 <child>
  785.                                   <object class="GtkLabel" id="label98">
  786.                                     <property name="visible">True</property>
  787.                                     <property name="label" translatable="yes">_Tab width:</property>
  788.                                     <property name="use_underline">True</property>
  789.                                     <property name="use_markup">False</property>
  790.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  791.                                     <property name="wrap">False</property>
  792.                                     <property name="selectable">False</property>
  793.                                     <property name="xalign">0.5</property>
  794.                                     <property name="yalign">0.5</property>
  795.                                     <property name="xpad">0</property>
  796.                                     <property name="ypad">0</property>
  797.                                     <property name="mnemonic_widget">tabs_width_spinbutton</property>
  798.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  799.                                     <property name="width_chars">-1</property>
  800.                                     <property name="single_line_mode">False</property>
  801.                                     <property name="angle">0</property>
  802.                                   </object>
  803.                                   <packing>
  804.                                     <property name="padding">0</property>
  805.                                     <property name="expand">False</property>
  806.                                     <property name="fill">False</property>
  807.                                   </packing>
  808.                                 </child>
  809.                                 <child>
  810.                                   <object class="GtkSpinButton" id="tabs_width_spinbutton">
  811.                                     <property name="visible">True</property>
  812.                                     <property name="can_focus">True</property>
  813.                                     <property name="climb_rate">1</property>
  814.                                     <property name="digits">0</property>
  815.                                     <property name="numeric">True</property>
  816.                                     <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  817.                                     <property name="snap_to_ticks">False</property>
  818.                                     <property name="wrap">False</property>
  819.                                     <property name="adjustment">adjustment2</property>
  820.                                   </object>
  821.                                   <packing>
  822.                                     <property name="padding">0</property>
  823.                                     <property name="expand">False</property>
  824.                                     <property name="fill">False</property>
  825.                                   </packing>
  826.                                 </child>
  827.                               </object>
  828.                               <packing>
  829.                                 <property name="padding">0</property>
  830.                                 <property name="expand">True</property>
  831.                                 <property name="fill">True</property>
  832.                               </packing>
  833.                             </child>
  834.                             <child>
  835.                               <object class="GtkCheckButton" id="insert_spaces_checkbutton">
  836.                                 <property name="visible">True</property>
  837.                                 <property name="can_focus">True</property>
  838.                                 <property name="label" translatable="yes">Insert _spaces instead of tabs</property>
  839.                                 <property name="use_underline">True</property>
  840.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  841.                                 <property name="focus_on_click">True</property>
  842.                                 <property name="active">False</property>
  843.                                 <property name="inconsistent">False</property>
  844.                                 <property name="draw_indicator">True</property>
  845.                               </object>
  846.                               <packing>
  847.                                 <property name="padding">0</property>
  848.                                 <property name="expand">False</property>
  849.                                 <property name="fill">False</property>
  850.                               </packing>
  851.                             </child>
  852.                           </object>
  853.                           <packing>
  854.                             <property name="padding">0</property>
  855.                             <property name="expand">False</property>
  856.                             <property name="fill">False</property>
  857.                           </packing>
  858.                         </child>
  859.                       </object>
  860.                       <packing>
  861.                         <property name="padding">0</property>
  862.                         <property name="expand">False</property>
  863.                         <property name="fill">False</property>
  864.                       </packing>
  865.                     </child>
  866.                   </object>
  867.                   <packing>
  868.                     <property name="padding">0</property>
  869.                     <property name="expand">False</property>
  870.                     <property name="fill">False</property>
  871.                   </packing>
  872.                 </child>
  873.                 <child>
  874.                   <object class="GtkVBox" id="vbox227">
  875.                     <property name="visible">True</property>
  876.                     <property name="homogeneous">False</property>
  877.                     <property name="spacing">6</property>
  878.                     <child>
  879.                       <object class="GtkLabel" id="label851">
  880.                         <property name="visible">True</property>
  881.                         <property name="label" translatable="yes"><b>Automatic Indentation</b></property>
  882.                         <property name="use_underline">False</property>
  883.                         <property name="use_markup">True</property>
  884.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  885.                         <property name="wrap">False</property>
  886.                         <property name="selectable">False</property>
  887.                         <property name="xalign">0</property>
  888.                         <property name="yalign">0.5</property>
  889.                         <property name="xpad">0</property>
  890.                         <property name="ypad">0</property>
  891.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  892.                         <property name="width_chars">-1</property>
  893.                         <property name="single_line_mode">False</property>
  894.                         <property name="angle">0</property>
  895.                       </object>
  896.                       <packing>
  897.                         <property name="padding">0</property>
  898.                         <property name="expand">False</property>
  899.                         <property name="fill">False</property>
  900.                       </packing>
  901.                     </child>
  902.                     <child>
  903.                       <object class="GtkHBox" id="hbox143">
  904.                         <property name="visible">True</property>
  905.                         <property name="homogeneous">False</property>
  906.                         <property name="spacing">0</property>
  907.                         <child>
  908.                           <object class="GtkLabel" id="label852">
  909.                             <property name="visible">True</property>
  910.                             <property name="label" translatable="yes">    </property>
  911.                             <property name="use_underline">False</property>
  912.                             <property name="use_markup">False</property>
  913.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  914.                             <property name="wrap">False</property>
  915.                             <property name="selectable">False</property>
  916.                             <property name="xalign">0.5</property>
  917.                             <property name="yalign">0.5</property>
  918.                             <property name="xpad">0</property>
  919.                             <property name="ypad">0</property>
  920.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  921.                             <property name="width_chars">-1</property>
  922.                             <property name="single_line_mode">False</property>
  923.                             <property name="angle">0</property>
  924.                           </object>
  925.                           <packing>
  926.                             <property name="padding">0</property>
  927.                             <property name="expand">False</property>
  928.                             <property name="fill">False</property>
  929.                           </packing>
  930.                         </child>
  931.                         <child>
  932.                           <object class="GtkCheckButton" id="auto_indent_checkbutton">
  933.                             <property name="visible">True</property>
  934.                             <property name="can_focus">True</property>
  935.                             <property name="label" translatable="yes">_Enable automatic indentation</property>
  936.                             <property name="use_underline">True</property>
  937.                             <property name="relief">GTK_RELIEF_NORMAL</property>
  938.                             <property name="focus_on_click">True</property>
  939.                             <property name="active">False</property>
  940.                             <property name="inconsistent">False</property>
  941.                             <property name="draw_indicator">True</property>
  942.                           </object>
  943.                           <packing>
  944.                             <property name="padding">0</property>
  945.                             <property name="expand">False</property>
  946.                             <property name="fill">False</property>
  947.                           </packing>
  948.                         </child>
  949.                       </object>
  950.                       <packing>
  951.                         <property name="padding">0</property>
  952.                         <property name="expand">False</property>
  953.                         <property name="fill">False</property>
  954.                       </packing>
  955.                     </child>
  956.                   </object>
  957.                   <packing>
  958.                     <property name="padding">0</property>
  959.                     <property name="expand">False</property>
  960.                     <property name="fill">False</property>
  961.                   </packing>
  962.                 </child>
  963.                 <child>
  964.                   <object class="GtkVBox" id="vbox232">
  965.                     <property name="visible">True</property>
  966.                     <property name="homogeneous">False</property>
  967.                     <property name="spacing">6</property>
  968.                     <child>
  969.                       <object class="GtkLabel" id="label859">
  970.                         <property name="visible">True</property>
  971.                         <property name="label" translatable="yes"><b>File Saving</b></property>
  972.                         <property name="use_underline">False</property>
  973.                         <property name="use_markup">True</property>
  974.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  975.                         <property name="wrap">False</property>
  976.                         <property name="selectable">False</property>
  977.                         <property name="xalign">0</property>
  978.                         <property name="yalign">0.5</property>
  979.                         <property name="xpad">0</property>
  980.                         <property name="ypad">0</property>
  981.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  982.                         <property name="width_chars">-1</property>
  983.                         <property name="single_line_mode">False</property>
  984.                         <property name="angle">0</property>
  985.                       </object>
  986.                       <packing>
  987.                         <property name="padding">0</property>
  988.                         <property name="expand">False</property>
  989.                         <property name="fill">False</property>
  990.                       </packing>
  991.                     </child>
  992.                     <child>
  993.                       <object class="GtkHBox" id="hbox147">
  994.                         <property name="visible">True</property>
  995.                         <property name="homogeneous">False</property>
  996.                         <property name="spacing">0</property>
  997.                         <child>
  998.                           <object class="GtkLabel" id="label860">
  999.                             <property name="visible">True</property>
  1000.                             <property name="label" translatable="yes">    </property>
  1001.                             <property name="use_underline">False</property>
  1002.                             <property name="use_markup">False</property>
  1003.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  1004.                             <property name="wrap">False</property>
  1005.                             <property name="selectable">False</property>
  1006.                             <property name="xalign">0.5</property>
  1007.                             <property name="yalign">0.5</property>
  1008.                             <property name="xpad">0</property>
  1009.                             <property name="ypad">0</property>
  1010.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1011.                             <property name="width_chars">-1</property>
  1012.                             <property name="single_line_mode">False</property>
  1013.                             <property name="angle">0</property>
  1014.                           </object>
  1015.                           <packing>
  1016.                             <property name="padding">0</property>
  1017.                             <property name="expand">False</property>
  1018.                             <property name="fill">False</property>
  1019.                           </packing>
  1020.                         </child>
  1021.                         <child>
  1022.                           <object class="GtkVBox" id="vbox187">
  1023.                             <property name="visible">True</property>
  1024.                             <property name="homogeneous">False</property>
  1025.                             <property name="spacing">6</property>
  1026.                             <child>
  1027.                               <object class="GtkCheckButton" id="backup_copy_checkbutton">
  1028.                                 <property name="visible">True</property>
  1029.                                 <property name="can_focus">True</property>
  1030.                                 <property name="label" translatable="yes">Create a _backup copy of files before saving</property>
  1031.                                 <property name="use_underline">True</property>
  1032.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  1033.                                 <property name="focus_on_click">True</property>
  1034.                                 <property name="active">False</property>
  1035.                                 <property name="inconsistent">False</property>
  1036.                                 <property name="draw_indicator">True</property>
  1037.                               </object>
  1038.                               <packing>
  1039.                                 <property name="padding">0</property>
  1040.                                 <property name="expand">False</property>
  1041.                                 <property name="fill">False</property>
  1042.                               </packing>
  1043.                             </child>
  1044.                             <child>
  1045.                               <object class="GtkHBox" id="autosave_hbox">
  1046.                                 <property name="visible">True</property>
  1047.                                 <property name="homogeneous">False</property>
  1048.                                 <property name="spacing">6</property>
  1049.                                 <child>
  1050.                                   <object class="GtkCheckButton" id="auto_save_checkbutton">
  1051.                                     <property name="visible">True</property>
  1052.                                     <property name="can_focus">True</property>
  1053.                                     <property name="label" translatable="yes">_Autosave files every</property>
  1054.                                     <property name="use_underline">True</property>
  1055.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  1056.                                     <property name="focus_on_click">True</property>
  1057.                                     <property name="active">False</property>
  1058.                                     <property name="inconsistent">False</property>
  1059.                                     <property name="draw_indicator">True</property>
  1060.                                   </object>
  1061.                                   <packing>
  1062.                                     <property name="padding">0</property>
  1063.                                     <property name="expand">False</property>
  1064.                                     <property name="fill">False</property>
  1065.                                   </packing>
  1066.                                 </child>
  1067.                                 <child>
  1068.                                   <object class="GtkSpinButton" id="auto_save_spinbutton">
  1069.                                     <property name="visible">True</property>
  1070.                                     <property name="can_focus">True</property>
  1071.                                     <property name="climb_rate">1</property>
  1072.                                     <property name="digits">0</property>
  1073.                                     <property name="numeric">True</property>
  1074.                                     <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  1075.                                     <property name="snap_to_ticks">False</property>
  1076.                                     <property name="wrap">False</property>
  1077.                                     <property name="adjustment">adjustment3</property>
  1078.                                   </object>
  1079.                                   <packing>
  1080.                                     <property name="padding">0</property>
  1081.                                     <property name="expand">False</property>
  1082.                                     <property name="fill">False</property>
  1083.                                   </packing>
  1084.                                 </child>
  1085.                                 <child>
  1086.                                   <object class="GtkLabel" id="label97">
  1087.                                     <property name="visible">True</property>
  1088.                                     <property name="label" translatable="yes">_minutes</property>
  1089.                                     <property name="use_underline">True</property>
  1090.                                     <property name="use_markup">False</property>
  1091.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  1092.                                     <property name="wrap">False</property>
  1093.                                     <property name="selectable">False</property>
  1094.                                     <property name="xalign">0.5</property>
  1095.                                     <property name="yalign">0.5</property>
  1096.                                     <property name="xpad">0</property>
  1097.                                     <property name="ypad">0</property>
  1098.                                     <property name="mnemonic_widget">auto_save_spinbutton</property>
  1099.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1100.                                     <property name="width_chars">-1</property>
  1101.                                     <property name="single_line_mode">False</property>
  1102.                                     <property name="angle">0</property>
  1103.                                   </object>
  1104.                                   <packing>
  1105.                                     <property name="padding">0</property>
  1106.                                     <property name="expand">False</property>
  1107.                                     <property name="fill">False</property>
  1108.                                   </packing>
  1109.                                 </child>
  1110.                               </object>
  1111.                               <packing>
  1112.                                 <property name="padding">0</property>
  1113.                                 <property name="expand">True</property>
  1114.                                 <property name="fill">True</property>
  1115.                               </packing>
  1116.                             </child>
  1117.                           </object>
  1118.                           <packing>
  1119.                             <property name="padding">0</property>
  1120.                             <property name="expand">False</property>
  1121.                             <property name="fill">False</property>
  1122.                           </packing>
  1123.                         </child>
  1124.                       </object>
  1125.                       <packing>
  1126.                         <property name="padding">0</property>
  1127.                         <property name="expand">True</property>
  1128.                         <property name="fill">True</property>
  1129.                       </packing>
  1130.                     </child>
  1131.                   </object>
  1132.                   <packing>
  1133.                     <property name="padding">0</property>
  1134.                     <property name="expand">False</property>
  1135.                     <property name="fill">False</property>
  1136.                   </packing>
  1137.                 </child>
  1138.               </object>
  1139.               <packing>
  1140.                 <property name="tab_expand">False</property>
  1141.                 <property name="tab_fill">True</property>
  1142.               </packing>
  1143.             </child>
  1144.             <child type="tab">
  1145.               <object class="GtkLabel" id="label829">
  1146.                 <property name="visible">True</property>
  1147.                 <property name="label" translatable="yes">Editor</property>
  1148.                 <property name="use_underline">False</property>
  1149.                 <property name="use_markup">False</property>
  1150.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1151.                 <property name="wrap">False</property>
  1152.                 <property name="selectable">False</property>
  1153.                 <property name="xalign">0.5</property>
  1154.                 <property name="yalign">0.5</property>
  1155.                 <property name="xpad">0</property>
  1156.                 <property name="ypad">0</property>
  1157.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1158.                 <property name="width_chars">-1</property>
  1159.                 <property name="single_line_mode">False</property>
  1160.                 <property name="angle">0</property>
  1161.               </object>
  1162.             </child>
  1163.             <child>
  1164.               <object class="GtkVBox" id="vbox202">
  1165.                 <property name="border_width">12</property>
  1166.                 <property name="visible">True</property>
  1167.                 <property name="homogeneous">False</property>
  1168.                 <property name="spacing">18</property>
  1169.                 <child>
  1170.                   <object class="GtkVBox" id="vbox185">
  1171.                     <property name="visible">True</property>
  1172.                     <property name="homogeneous">False</property>
  1173.                     <property name="spacing">6</property>
  1174.                     <child>
  1175.                       <object class="GtkLabel" id="label819">
  1176.                         <property name="visible">True</property>
  1177.                         <property name="label" translatable="yes"><b>Font</b></property>
  1178.                         <property name="use_underline">False</property>
  1179.                         <property name="use_markup">True</property>
  1180.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  1181.                         <property name="wrap">False</property>
  1182.                         <property name="selectable">False</property>
  1183.                         <property name="xalign">0</property>
  1184.                         <property name="yalign">0.5</property>
  1185.                         <property name="xpad">0</property>
  1186.                         <property name="ypad">0</property>
  1187.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1188.                         <property name="width_chars">-1</property>
  1189.                         <property name="single_line_mode">False</property>
  1190.                         <property name="angle">0</property>
  1191.                       </object>
  1192.                       <packing>
  1193.                         <property name="padding">0</property>
  1194.                         <property name="expand">False</property>
  1195.                         <property name="fill">False</property>
  1196.                       </packing>
  1197.                     </child>
  1198.                     <child>
  1199.                       <object class="GtkHBox" id="hbox116">
  1200.                         <property name="visible">True</property>
  1201.                         <property name="homogeneous">False</property>
  1202.                         <property name="spacing">0</property>
  1203.                         <child>
  1204.                           <object class="GtkLabel" id="label800">
  1205.                             <property name="visible">True</property>
  1206.                             <property name="label" translatable="yes">    </property>
  1207.                             <property name="use_underline">False</property>
  1208.                             <property name="use_markup">False</property>
  1209.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  1210.                             <property name="wrap">False</property>
  1211.                             <property name="selectable">False</property>
  1212.                             <property name="xalign">0.5</property>
  1213.                             <property name="yalign">0.5</property>
  1214.                             <property name="xpad">0</property>
  1215.                             <property name="ypad">0</property>
  1216.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1217.                             <property name="width_chars">-1</property>
  1218.                             <property name="single_line_mode">False</property>
  1219.                             <property name="angle">0</property>
  1220.                           </object>
  1221.                           <packing>
  1222.                             <property name="padding">0</property>
  1223.                             <property name="expand">False</property>
  1224.                             <property name="fill">False</property>
  1225.                           </packing>
  1226.                         </child>
  1227.                         <child>
  1228.                           <object class="GtkVBox" id="vbox183">
  1229.                             <property name="visible">True</property>
  1230.                             <property name="homogeneous">False</property>
  1231.                             <property name="spacing">6</property>
  1232.                             <child>
  1233.                               <object class="GtkCheckButton" id="default_font_checkbutton">
  1234.                                 <property name="visible">True</property>
  1235.                                 <property name="can_focus">True</property>
  1236.                                 <property name="label">_Use the system fixed width font (%s)</property>
  1237.                                 <property name="use_underline">True</property>
  1238.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  1239.                                 <property name="focus_on_click">True</property>
  1240.                                 <property name="active">False</property>
  1241.                                 <property name="inconsistent">False</property>
  1242.                                 <property name="draw_indicator">True</property>
  1243.                               </object>
  1244.                               <packing>
  1245.                                 <property name="padding">0</property>
  1246.                                 <property name="expand">False</property>
  1247.                                 <property name="fill">False</property>
  1248.                               </packing>
  1249.                             </child>
  1250.                             <child>
  1251.                               <object class="GtkHBox" id="font_hbox">
  1252.                                 <property name="visible">True</property>
  1253.                                 <property name="homogeneous">False</property>
  1254.                                 <property name="spacing">12</property>
  1255.                                 <child>
  1256.                                   <object class="GtkLabel" id="font_label">
  1257.                                     <property name="visible">True</property>
  1258.                                     <property name="label" translatable="yes">Editor _font: </property>
  1259.                                     <property name="use_underline">True</property>
  1260.                                     <property name="use_markup">False</property>
  1261.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  1262.                                     <property name="wrap">False</property>
  1263.                                     <property name="selectable">False</property>
  1264.                                     <property name="xalign">0</property>
  1265.                                     <property name="yalign">0.5</property>
  1266.                                     <property name="xpad">0</property>
  1267.                                     <property name="ypad">0</property>
  1268.                                     <property name="mnemonic_widget">font_button</property>
  1269.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1270.                                     <property name="width_chars">-1</property>
  1271.                                     <property name="single_line_mode">False</property>
  1272.                                     <property name="angle">0</property>
  1273.                                   </object>
  1274.                                   <packing>
  1275.                                     <property name="padding">0</property>
  1276.                                     <property name="expand">False</property>
  1277.                                     <property name="fill">False</property>
  1278.                                   </packing>
  1279.                                 </child>
  1280.                                 <child>
  1281.                                   <object class="GtkFontButton" id="font_button">
  1282.                                     <property name="visible">True</property>
  1283.                                     <property name="can_focus">True</property>
  1284.                                     <property name="title" translatable="yes">Pick the editor font</property>
  1285.                                     <property name="show_style">True</property>
  1286.                                     <property name="show_size">True</property>
  1287.                                     <property name="use_font">True</property>
  1288.                                     <property name="use_size">False</property>
  1289.                                     <property name="focus_on_click">True</property>
  1290.                                   </object>
  1291.                                   <packing>
  1292.                                     <property name="padding">0</property>
  1293.                                     <property name="expand">True</property>
  1294.                                     <property name="fill">True</property>
  1295.                                   </packing>
  1296.                                 </child>
  1297.                               </object>
  1298.                               <packing>
  1299.                                 <property name="padding">0</property>
  1300.                                 <property name="expand">False</property>
  1301.                                 <property name="fill">False</property>
  1302.                               </packing>
  1303.                             </child>
  1304.                           </object>
  1305.                           <packing>
  1306.                             <property name="padding">0</property>
  1307.                             <property name="expand">True</property>
  1308.                             <property name="fill">True</property>
  1309.                           </packing>
  1310.                         </child>
  1311.                       </object>
  1312.                       <packing>
  1313.                         <property name="padding">0</property>
  1314.                         <property name="expand">True</property>
  1315.                         <property name="fill">True</property>
  1316.                       </packing>
  1317.                     </child>
  1318.                   </object>
  1319.                   <packing>
  1320.                     <property name="padding">0</property>
  1321.                     <property name="expand">False</property>
  1322.                     <property name="fill">False</property>
  1323.                   </packing>
  1324.                 </child>
  1325.                 <child>
  1326.                   <object class="GtkVBox" id="vbox14">
  1327.                     <property name="visible">True</property>
  1328.                     <property name="homogeneous">False</property>
  1329.                     <property name="spacing">6</property>
  1330.                     <child>
  1331.                       <object class="GtkLabel" id="label798">
  1332.                         <property name="visible">True</property>
  1333.                         <property name="label" translatable="yes"><span weight="bold">Color Scheme</span></property>
  1334.                         <property name="use_underline">False</property>
  1335.                         <property name="use_markup">True</property>
  1336.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  1337.                         <property name="wrap">False</property>
  1338.                         <property name="selectable">False</property>
  1339.                         <property name="xalign">0</property>
  1340.                         <property name="yalign">0.5</property>
  1341.                         <property name="xpad">0</property>
  1342.                         <property name="ypad">0</property>
  1343.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1344.                         <property name="width_chars">-1</property>
  1345.                         <property name="single_line_mode">False</property>
  1346.                         <property name="angle">0</property>
  1347.                       </object>
  1348.                       <packing>
  1349.                         <property name="padding">0</property>
  1350.                         <property name="expand">False</property>
  1351.                         <property name="fill">False</property>
  1352.                       </packing>
  1353.                     </child>
  1354.                     <child>
  1355.                       <object class="GtkHBox" id="hbox115">
  1356.                         <property name="visible">True</property>
  1357.                         <property name="homogeneous">False</property>
  1358.                         <property name="spacing">0</property>
  1359.                         <child>
  1360.                           <object class="GtkLabel" id="label797">
  1361.                             <property name="visible">True</property>
  1362.                             <property name="label" translatable="yes">    </property>
  1363.                             <property name="use_underline">False</property>
  1364.                             <property name="use_markup">False</property>
  1365.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  1366.                             <property name="wrap">False</property>
  1367.                             <property name="selectable">False</property>
  1368.                             <property name="xalign">0.5</property>
  1369.                             <property name="yalign">0.5</property>
  1370.                             <property name="xpad">0</property>
  1371.                             <property name="ypad">0</property>
  1372.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1373.                             <property name="width_chars">-1</property>
  1374.                             <property name="single_line_mode">False</property>
  1375.                             <property name="angle">0</property>
  1376.                           </object>
  1377.                           <packing>
  1378.                             <property name="padding">0</property>
  1379.                             <property name="expand">False</property>
  1380.                             <property name="fill">False</property>
  1381.                           </packing>
  1382.                         </child>
  1383.                         <child>
  1384.                           <object class="GtkVBox" id="vbox1">
  1385.                             <property name="visible">True</property>
  1386.                             <property name="homogeneous">False</property>
  1387.                             <property name="spacing">6</property>
  1388.                             <child>
  1389.                               <object class="GtkScrolledWindow" id="scrolledwindow2">
  1390.                                 <property name="visible">True</property>
  1391.                                 <property name="can_focus">True</property>
  1392.                                 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  1393.                                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  1394.                                 <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
  1395.                                 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  1396.                                 <child>
  1397.                                   <object class="GtkTreeView" id="schemes_treeview">
  1398.                                     <property name="visible">True</property>
  1399.                                     <property name="can_focus">True</property>
  1400.                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1401.                                     <property name="headers_visible">False</property>
  1402.                                     <property name="rules_hint">True</property>
  1403.                                     <property name="reorderable">False</property>
  1404.                                     <property name="enable_search">True</property>
  1405.                                     <property name="fixed_height_mode">False</property>
  1406.                                     <property name="hover_selection">False</property>
  1407.                                     <property name="hover_expand">False</property>
  1408.                                   </object>
  1409.                                 </child>
  1410.                               </object>
  1411.                               <packing>
  1412.                                 <property name="padding">0</property>
  1413.                                 <property name="expand">True</property>
  1414.                                 <property name="fill">True</property>
  1415.                               </packing>
  1416.                             </child>
  1417.                             <child>
  1418.                               <object class="GtkHButtonBox" id="hbuttonbox1">
  1419.                                 <property name="visible">True</property>
  1420.                                 <property name="layout_style">GTK_BUTTONBOX_END</property>
  1421.                                 <property name="spacing">6</property>
  1422.                                 <child>
  1423.                                   <object class="GtkButton" id="install_scheme_button">
  1424.                                     <property name="visible">True</property>
  1425.                                     <property name="can_focus">True</property>
  1426.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  1427.                                     <property name="focus_on_click">True</property>
  1428.                                     <property name="image">install_scheme_image</property>
  1429.                                     <property name="label" translatable="yes">_Add...</property>
  1430.                                     <property name="use_underline">True</property>
  1431.                                   </object>
  1432.                                 </child>
  1433.                                 <child>
  1434.                                   <object class="GtkButton" id="uninstall_scheme_button">
  1435.                                     <property name="visible">True</property>
  1436.                                     <property name="can_focus">True</property>
  1437.                                     <property name="label">gtk-remove</property>
  1438.                                     <property name="use_stock">True</property>
  1439.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  1440.                                     <property name="focus_on_click">True</property>
  1441.                                   </object>
  1442.                                 </child>
  1443.                               </object>
  1444.                               <packing>
  1445.                                 <property name="padding">0</property>
  1446.                                 <property name="expand">False</property>
  1447.                                 <property name="fill">True</property>
  1448.                               </packing>
  1449.                             </child>
  1450.                           </object>
  1451.                           <packing>
  1452.                             <property name="padding">0</property>
  1453.                             <property name="expand">True</property>
  1454.                             <property name="fill">True</property>
  1455.                           </packing>
  1456.                         </child>
  1457.                       </object>
  1458.                       <packing>
  1459.                         <property name="padding">0</property>
  1460.                         <property name="expand">True</property>
  1461.                         <property name="fill">True</property>
  1462.                       </packing>
  1463.                     </child>
  1464.                   </object>
  1465.                   <packing>
  1466.                     <property name="padding">0</property>
  1467.                     <property name="expand">True</property>
  1468.                     <property name="fill">True</property>
  1469.                   </packing>
  1470.                 </child>
  1471.               </object>
  1472.               <packing>
  1473.                 <property name="tab_expand">False</property>
  1474.                 <property name="tab_fill">True</property>
  1475.               </packing>
  1476.             </child>
  1477.             <child type="tab">
  1478.               <object class="GtkLabel" id="label830">
  1479.                 <property name="visible">True</property>
  1480.                 <property name="label" translatable="yes">Font & Colors</property>
  1481.                 <property name="use_underline">False</property>
  1482.                 <property name="use_markup">False</property>
  1483.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1484.                 <property name="wrap">False</property>
  1485.                 <property name="selectable">False</property>
  1486.                 <property name="xalign">0.5</property>
  1487.                 <property name="yalign">0.5</property>
  1488.                 <property name="xpad">0</property>
  1489.                 <property name="ypad">0</property>
  1490.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1491.                 <property name="width_chars">-1</property>
  1492.                 <property name="single_line_mode">False</property>
  1493.                 <property name="angle">0</property>
  1494.               </object>
  1495.             </child>
  1496.             <child>
  1497.               <object class="GtkVBox" id="plugin_manager_place_holder">
  1498.                 <property name="border_width">12</property>
  1499.                 <property name="visible">True</property>
  1500.                 <property name="homogeneous">False</property>
  1501.                 <property name="spacing">0</property>
  1502.                 <child>
  1503.                   <placeholder/>
  1504.                 </child>
  1505.               </object>
  1506.               <packing>
  1507.                 <property name="tab_expand">False</property>
  1508.                 <property name="tab_fill">True</property>
  1509.               </packing>
  1510.             </child>
  1511.             <child type="tab">
  1512.               <object class="GtkLabel" id="label868">
  1513.                 <property name="visible">True</property>
  1514.                 <property name="label" translatable="yes">Plugins</property>
  1515.                 <property name="use_underline">False</property>
  1516.                 <property name="use_markup">False</property>
  1517.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1518.                 <property name="wrap">False</property>
  1519.                 <property name="selectable">False</property>
  1520.                 <property name="xalign">0.5</property>
  1521.                 <property name="yalign">0.5</property>
  1522.                 <property name="xpad">0</property>
  1523.                 <property name="ypad">0</property>
  1524.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1525.                 <property name="width_chars">-1</property>
  1526.                 <property name="single_line_mode">False</property>
  1527.                 <property name="angle">0</property>
  1528.               </object>
  1529.             </child>
  1530.           </object>
  1531.           <packing>
  1532.             <property name="padding">0</property>
  1533.             <property name="expand">True</property>
  1534.             <property name="fill">True</property>
  1535.           </packing>
  1536.         </child>
  1537.       </object>
  1538.     </child>
  1539.     <action-widgets>
  1540.       <action-widget response="-11">helpbutton1</action-widget>
  1541.       <action-widget response="-7">closebutton1</action-widget>
  1542.     </action-widgets>
  1543.   </object>
  1544. </interface>
  1545.